es{-}rcvs(${\it es}$; $l$; ${\it e'}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$filter($\lambda$$e$.es{-}haslnk(${\it es}$; $l$; $e$);es{-}before(${\it es}$; ${\it e'}$))